3

Exactly estimating functionals and strong normalization

Year:
1987
Language:
english
File:
PDF, 824 KB
english, 1987
7

Paramagnetic spin absorption in some hydrated and anhydrous paramagnetic salts

Year:
1947
Language:
english
File:
PDF, 328 KB
english, 1947
9

Strong normalization in N-HApω

Year:
1987
Language:
english
File:
PDF, 317 KB
english, 1987
10

Lambda calculus with patterns

Year:
2008
Language:
english
File:
PDF, 479 KB
english, 2008
11

Conditional linearization

Year:
1999
Language:
english
File:
PDF, 893 KB
english, 1999
12

Paramagnetic absorption at radio frequencies in gadolinium sulphate octohydrate

Year:
1946
Language:
english
File:
PDF, 341 KB
english, 1946
13

On the influence of nuclear spin and of super-exchange on the spin specific heat of cu(nh4)2(so4)2.6h2o

Year:
1952
Language:
english
File:
PDF, 274 KB
english, 1952
14

On paramagnetic relaxation in chromium alum

Year:
1952
Language:
english
File:
PDF, 843 KB
english, 1952
15

Four equivalent equivalences of reductions

Year:
2002
Language:
english
File:
PDF, 396 KB
english, 2002
17

New biomedical polyurethane ureas with high tear strengths

Year:
1997
Language:
english
File:
PDF, 383 KB
english, 1997
20

Modularity of confluence: A simplified proof

Year:
1994
Language:
english
File:
PDF, 643 KB
english, 1994
21

A new phenomenon in paramagnetic relaxation

Year:
1949
Language:
english
File:
PDF, 48 KB
english, 1949
23

Paramagnetic absorption in manganous ammonium sulphate hexahydrate

Year:
1947
Language:
english
File:
PDF, 286 KB
english, 1947
26

A Calculus of Lambda Calculus Contexts

Year:
2001
Language:
english
File:
PDF, 207 KB
english, 2001
27

Transport and metabolism of amino acids in placenta

Year:
2002
Language:
english
File:
PDF, 368 KB
english, 2002
29

Descendants and Origins in Term Rewriting

Year:
2000
Language:
english
File:
PDF, 1.75 MB
english, 2000
31

Unique normal forms for lambda calculus with surjective pairing

Year:
1989
Language:
english
File:
PDF, 842 KB
english, 1989
46

A direct proof of the finite developments theorem

Year:
1985
Language:
english
File:
PDF, 389 KB
english, 1985